#include<stdio.h>
int main()
{
	int height;
	float weight;
	scanf("%d",&height);
	weight=(height-100)*0.9*2;
	printf("%.1f",weight);
	return 0;
}
